Classical logic

Results: 885



#Item
741Logic programming / Modal logic / Philosophical logic / Reasoning / Default logic / Non-monotonic logic / Autoepistemic logic / First-order logic / Inference / Logic / Mathematical logic / Non-classical logic

Nonmonotonie default modal logics (Detailed abstract)

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
742Non-classical logic / Logical syntax / Predicate logic / Logic programming / Default logic / First-order logic / Function / Entailment / Propositional formula / Logic / Mathematical logic / Propositional calculus

Preferential Logics: the Predicate Calculus case (extended abstract)

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
743Non-classical logic / Logical syntax / Philosophical logic / Interpretation / Tautology / Epistemic modal logic / Entailment / Modal logic / Relevance logic / Logic / Mathematical logic / Propositional calculus

A Nonstandard Approach to the. Logical Omniscience Problem Ronald Fagin Joseph Y. Halpern

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
744Knowledge / Non-classical logic / Philosophical logic / Branches of philosophy / Modal logic / Common knowledge / Kripke semantics / Rohit Jivanlal Parikh / Epistemology / Logic / Mathematical logic / Mathematics

RECENT ISSUES IN REASONING

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
745Philosophical logic / Computer programming / Four-square cipher / Classical cipher / Logic / Modal logic / Non-classical logic

PROPAGATING THROUGH EPISTEMIC MUTUAL

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:54
746Mathematics / Classical cipher / Four-square cipher / Mathematical logic / Forcing / Logic

Nexttime is Not Necessary (Extended Abstract) Edith Spaan

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:54
747Reasoning / Non-classical logic / Modal logic / Non-monotonic logic / Autoepistemic logic / Epistemic modal logic / Reason / Relevance / Default logic / Logic / Science / Mathematical logic

NONMONOTONIC REASONING

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
748Logic programming / Modal logic / Model theory / Philosophical logic / Default logic / Autoepistemic logic / Non-monotonic logic / Epistemic modal logic / Interpretation / Logic / Mathematical logic / Non-classical logic

EPISTEMIC SEMANTICS FOR FIXED-POINTS NON-MONOTONIC LOGICS Fangzhen Lin

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:54
749Mathematics / Logic in computer science / Philosophical logic / Non-classical logic / Kripke semantics / Modal μ-calculus / Combinatory logic / Temporal logic / Modal depth / Logic / Mathematical logic / Modal logic

Games and Modal Mu-Calculus Colin Stirling

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-05-20 10:03:05
750Logical syntax / Semantics / Non-classical logic / Predicate / Interpretation / Probability / Modal logic / Probabilistic logic / Entailment / Logic / Propositional calculus / Mathematical logic

Probabilistic Semantics for Natural Language Jan van Eijck and Shalom Lappin CWI and ILLC Amsterdam, King’s College London

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2013-12-17 07:18:42
UPDATE